package es.deusto.ingenieria.aike.time;

public interface ConstraintPropagation 
{
	public boolean makeConsistent();
}
